<?php

echo json_encode($user);

?>